Lagranges' theorem